. Основні властивості ФАЛ за Постом. Методи виявлення ФПС ФАЛ із цими властивостями. Для побудови ПС(повна система) ФАЛ(Функція Алгебри-Логіки) яка має хоч би одну функцію, яка не зберігає константу 0, не зберігає константу 1, нелінійна, немонотонна, несамодвоїста. Якщо функція на нульовому наборі змінних дорівнює 0, то ф-ція зберігає конст. 0. Якщо функція на одиничному наборі змінних дорівнює 1, то ф-ція зберігає конст. 1. ФАЛ назив. монотонною, якщо при будь-якому зростанні кількості 1 у послідовності сусідніх( тобот на тих, які відрізняються тільки в одному розряді) на наборі змінних значення функції не змінюється або збільшується. ФАЛ назив. самодвоїстою, якщо на кожній парі протилежних наборів (х0,х1,..) та (#х0, #х1,..) вона приймає протилежні значення.  EMBED Equation.3 
 ФАЛ назив. лінійною , якщо її можна зобразити поліномом 1 порядку в базисі Жегалкіна без добутків змінних ВСАС1 – нелінійна АС1 - лінійна  EMBED Equation.3 
 Приклад нелінійна лінійна Витрати процесорного часу. Витрати часу процесора на опрацювання деякої програми визначають за формулою: Тут: CPUTime – шуканий час, CPIi (clocks per instruction) – кількість тактових імпульсів на виконання і-того типу інструкції, ICi (instruction count) - число інструкцій і-того типу у тестовій програмі, ClockCycleTime – тривалість одного тактового інтервалу. Аби зменшити ClockCycleTime треба покращити технологію реалізації апаратних засобів та організацію цих апаратних засобів у машині. СРІ зменшують покращеною організацією машини й утіленням раціональної комп’ютерної архітектури рівня машинних інструкцій. Значення ІС залежить від архітектури рівня машинного інструкцій та застосованої технології компілювання програми (стандартної або ж оптимізованої). Зрозуміло, що витрати процесорного часу є функцією багатьох змінних, їх мінімізують як евристичними, так і формальними методами. Операційні системи та апаратні засоби. Можна сформулювати наступні вимоги з боку операційних систем щодо адекватності підпорядкованих ним апаратних засобів: 1. Великий, іноді навіть надвеликий (сотні терабайт) адресувальний простір. 2. Розвинена і стійка апаратна підтримка програмного механізму керування та захисту віртуальної пам'яті. 3. Підтримка швидкого контекстного перемкнення поміж процесами. 4. Розвинена апаратна частина реалізації переривань, виключень (exceptions) і пасток (traps). 5. Безумовна підтримка стандартів, у тому числі стандартів IEEE на формати рухомої коми, інтерфейси уводу-виводу, підтримка мов високого рівня і, навіть, підтримка вибраних функцій ОС.